proof by exhaustion examples